منابع مشابه
From one cell to many
embryo undergoes several synchronized nuclear divisions without cytokinesis, to form a 'syncytial blastoderm'. During these divisions, the nuclei migrate to the cortex of the embryo where the last few divisions take place before cellularization. The dividing nuclei at lower right are all synchronized at metaphase. Mitotic spindles are stained red; DNA is stained green. At cellularization, the o...
متن کاملAn extension of Transmission Power Control from one-to-one to one-to-many links
In this paper, we propose an extension to existing power control (PC) management algorithm in a multihop wireless ad hoc network. Typical power control assumes that mobile nodes communicate with each other by one-to-one. However, one-to-many style communication is necessary for energy-efficient communications of several applications where broadcast or multicast is used. In this paper, we identi...
متن کاملOne Way to Select Many
Selecting items from a collection is one of the most common tasks users perform with graphical user interfaces. Practically every application supports this task with a selection feature different from that of any other application. Defects are common, especially in manipulating selections of non-adjacent elements, and flexible selection features are often missing when they would clearly be usef...
متن کاملTyping One-to-One and One-to-Many Correspondences in a Spi-Calculus
Both one-to-one and one-to-many correspondences between events, sometimes known as injective and non-injective agreements, respectively, are widely used to specify correctness properties of cryptographic protocols. In earlier work, we showed how to typecheck oneto-one correspondences for protocols expressed in the spi-calculus. We present a new type and effect system able to verify both one-to-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IASL Annual Conference Proceedings
سال: 2021
ISSN: 2562-8372
DOI: 10.29173/iasl7895